On NP-hard graph properties characterized by the spectrum
نویسندگان
چکیده
منابع مشابه
Unit disk graph recognition is NP-hard
Unit disk graphs are the intersection graphs of unit diameter closed disks in the plane. This paper reduces SATISFIABILITY to the problem of recognizing unit disk graphs. Equivalently, it shows that determining if a graph has sphericity 2 or less, even if the graph is planar or is known to have sphericity at most 3, is NP-hard. We show how this reduction can be extended to 3 dimensions, thereby...
متن کاملNearest Neighbour Graph Realizability is NP-hard
1 I n t r o d u c t i o n This paper investigates the problem of realizing a given graph G as a "nearest neighbour graph" of a set P of points in the plane. Roughly speaking, a "nearest neighbour graph" is a geometric graph formed from a set of points in the plane by joining two points if one is the nearest neighbour of the other. Fig. 1. A mutual nearest neighbour graph One specific kind of ne...
متن کاملPoint visibility graph recognition is NP-hard
Given a 3-SAT formula, a graph can be constructed in polynomial time such that the graph is a point visibility graph if and only if the 3-SAT formula is satisfiable. This reduction establishes that the problem of recognition of point visibility graphs is NP-hard.
متن کاملcontrol of the optical properties of nanoparticles by laser fields
در این پایان نامه، درهمتنیدگی بین یک سیستم نقطه کوانتومی دوگانه(مولکول نقطه کوانتومی) و میدان مورد مطالعه قرار گرفته است. از آنتروپی ون نیومن به عنوان ابزاری برای بررسی درهمتنیدگی بین اتم و میدان استفاده شده و تاثیر پارامترهای مختلف، نظیر تونل زنی(که توسط تغییر ولتاژ ایجاد می شود)، شدت میدان و نسبت دو گسیل خودبخودی بر رفتار درجه درهمتنیدگی سیستم بررسی شده اشت.با تغییر هر یک از این پارامترها، در...
15 صفحه اولHybrid Logics and NP Graph Properties
We show that for each property of graphs G in NP there is a sequence φ1, φ2, . . . of formulas of the full hybrid logic which are satisfied exactly by the frames in G. Moreover, the size of φn is bounded by a polynomial. We also show that the same holds for each graph property in the polynomial hierarchy. These results lead to the definition of syntactically defined fragments of hybrid logic wh...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Applied Mathematics
سال: 2020
ISSN: 0166-218X
DOI: 10.1016/j.dam.2020.06.020